Stichworte: enforce contracts